COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	circum.fil[w84,jmc]	List of files treating circumscription
C00007 ENDMK
C⊗;
circum.fil[w84,jmc]	List of files treating circumscription

circum[f83,jmc]		AI Aplications of Circumscription
circum.abs[f83,jmc]	Circumscription abstract for Parikh at Brooklyn College
circum.not[f83,jmc]	Notes for circum[f83,jmc]
hierar[w84,jmc]		inheritance
unique[f83,jmc]		The unique names assumption
CIRCUM[W78,JMC] 30-Jan-78	CIRCUMSCRIPTION INDUCTION draft early version
				- A WAY OF JUMPING TO CONCLUSIONS
MINIMA[S77,JMC] 11-Jul-78	CIRCUMSCRIPTION INDUCTION 
				- A WAY OF JUMPING TO CONCLUSIONS
NOTEBO.OK[S77,JMC] 05-Jun-77	Knowledge, political statements by scientists
				and applications of circumscription
CIRCUM.SLI[S78,JMC] 		Slides for circumscription lecture
EXAMPL[W78,JMC]			Circumscription applied to frame problem
CIRCUM.NEW[S79,JMC]	CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING
MINIMA.OLD[S79,JMC]	CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING
CIRCUM[E79,JMC]		EPISTEMOLOGICAL PROBLEMS OF ARTIFICIAL INTELLIGENCE
REMARK[E79,JMC]		remarks suggested by circumscription but not about it
CIRCUM.AB2[F79,JMC]	FORMALIZATION OF OCKHAM'S RAZOR
CIRCUM.ABS[F79,JMC]	notes for FORMALIZATION OF OCKHAM'S RAZOR
CIRCUM.ADD[F79,JMC]	ADDENDUM: CIRCUMSCRIPTION AND OTHER NON-MONOTONIC
				 FORMALISMS"
CIRCUM.NOT[F79,JMC]	minimizing non-monotonic reasoning
CIRCUM.REP[W80,JMC]	REPLIES TO COMMENTS ON "FORMALIZING OCKHAM'S RAZOR"
CIRCUM.W80[W80,JMC]	Circumscription: A Form of non-Monotonic Reasoning
IDEAS.W80[W80,JMC]	Scenes a la Barwise
*CIRCUM.MOR[S80,JMC]	draft of supplementary paper on circumscription
grumbl.[e80,jmc]	Circumscription is semi-decidable: bobrow preface
circum.sli[w81,jmc]	slides for circumscription lecture
OR.AX[W81,JMC]		comment |circumscription of a disjunction|
OR.PRF[W81,JMC]		circumscription proof in FOL
nonmon.ax[f81,jmc]	Examples of axioms intended for use with circumscription
bird[e82,jmc]		Minsky's bird example - for circumscription
exampl[e82,jmc]		examples for circumscription including Reiter home town
circum[f82,jmc]		Mathematical questions of circumscription
circum.dis[f82,jmc]	Mailing list for reports on circumscription
*circum.ex[f82,jmc]	Examples for circumscription paper
circum.lec[f82,jmc]	Notes for lecture on circumscription
circum.mor[f82,jmc]	More on circumscription - for IJCAI or AAAI
more[f82,jmc]		More on Circumscription, 6 aspects of circumscription
reiter[f82,jmc]		To Reiter re circumscription applied to Nixon paradox
semina[f82,jmc]		Abstract for seminar on circumscription
blocks[w83,jmc]		Blocks axioms using circumscription
circum.com[w83,jmc]	Making circumscription computable
circum.not[w83,jmc]	More: 1. Circumscribing when generalizing
domain[w83,jmc]		Corrected section on domain circumscription
circum[f83,jmc]		AI Aplications of Circumscription
circum.abs[f83,jmc]	Circumscription abstract for Parikh at Brooklyn College
ideas[f83,jmc]		exotic circumscriptions,
circum.not[f83,jmc]	Notes for circum[f83,jmc]
nonmon[w84,jmc]		Applications of non-monotonic reasoning (circum)